The article "The Shape of Math To Come" by Alex Kontorovich explores the interaction between computational tools and mathematical practice, reflecting on the potential impacts of artificial intelligence and formal verification systems on research mathematics in the near future. It aims to provide insights into how these advancements may shape the field of mathematics.